Nuprl Definition : l-union
0,22
postcript
pdf
l-union(
eq
;
as
;
bs
) == reduce(
a
,
L
. insert(
a
;
L
);
as
;
bs
)
latex
clarification:
l-union(
eq
;
as
;
bs
) == reduce(
a
,
L
. insert(
eq
;
a
;
L
);
as
;
bs
)
latex
Definitions
reduce(
f
;
k
;
as
)
,
x
.
A
(
x
)
,
insert(
a
;
L
)
FDL editor aliases
l-union
origin
a,L. insert(a;L);as;bs)
a,L. insert(eq; a; L);as;bs) a,L. insert(a;L);as;bs)
a,L. insert(eq; a; L);as;bs) x.A(x)